منابع مشابه
the investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
Injective Type Families for Haskell ( extended version ) 1
Haskell, as implemented by the Glasgow Haskell Compiler (GHC), allows expressive type-level programming. The most popular typelevel programming extension is TypeFamilies , which allows users to write functions on types. Yet, using type functions can cripple type inference in certain situations. In particular, lack of injectivity in type functions means that GHC can never infer an instantiation ...
متن کاملType-checking injective pure type systems
Injective Pure Type Systems form a large class of Pure Type Systems for which one can compute by purely syntactic means two sorts elmt(?jM) and sort(?jM), where ? is a pseudo-context and M is a pseudo-term, and such that for every sort s, ? ` M : A ^ ? ` A : s) elmt(?jM) = s ? ` M : s) sort(?jM) = s By eliminating the problematic clause in the (abstraction) rule in favour of constraints over el...
متن کاملEvaluation of the Factors Influencing Diabetic Control among Adolescents with Type 1 Diabetes
Background and Objective: Type 1 diabetes is the most common metabolic and chronic disease in children and adolescents. This study aimed to evaluate the factors influencing diabetic control among adolescents with Type 1 diabetes. Materials and Methods: This cross-sectional descriptive study was conducted on 205 patients aged 11-19 years with type 1 diabetes who referred to Endocrine Clinic of ...
متن کاملEnvironmental Factors before the Onset of Type 1 Diabetes Mellitus: A Case-Control Study
Objective: The role of environmental factors in the development of type1 diabetes mellitus (T1D) is inconclusive. This study aimed to investigate the associations between selected environmental factors and T1D. Materials and Methods: This group matched case-control study included diabetic and healthy subjects younger than 19 years old in 2017. Cases were diabetic subjects diagnosed before the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1989
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1989.137.265